翻訳と辞書 |
Joan Moschovakis : ウィキペディア英語版 | Joan Moschovakis
Joan Rand Moschovakis is a logician and mathematician focusing on intuitionistic logic and mathematics. She is professor emerita at Occidental College〔(【引用サイトリンク】title=Joan Rand Moschovakis - Occidental College - The Liberal Arts College in Los Angeles )〕 and a guest at UCLA.〔(【引用サイトリンク】title=Joan Moschovakis )〕 Moschovakis earned her Ph.D. from the University of Wisconsin–Madison in 1965 under the direction of Stephen Kleene, with a dissertation entitled ''Disjunction, Existence and *-Eliminability in Formalized Intuitionistic Analysis''. Moschovakis is married to Yiannis Moschovakis, with whom she gave the 2014 Lindström Lectures at the University of Gothenburg.〔(【引用サイトリンク】title=The Lindström Lectures - Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden )〕 ==Selected Publications==
* The Logic of Brouwer and Heyting, a chapter in ''Logic from Russell to Church'', Volume 5 of the Handbook of the History of Logic, ed. Woods and Gabbay, Elsevier, 2009. * Intuitionistic Logic, in Stanford Encyclopedia of Philosophy, 2014. * Relative Lawlessness in Intuitionistic Analysis, Journal of Symbolic Logic, 1987. * Can There be No Nonrecursive Functions?, Journal of Symbolic Logic, 1971.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Joan Moschovakis」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|